home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / mosmllib / test / result_ppc.mac < prev    next >
Encoding:
Text File  |  1995-10-20  |  37.1 KB  |  1,150 lines  |  [TEXT/Moml]
  1. jalaMPW:ml:mosml:mosml.image -stdlib jalaMPW:ml:mosml:src:mosmllib: -P full
  2. Moscow ML version 1.31 (15 October 1995)
  3. Mangled by e & MacMake (19 October 1995)
  4. Enter `quit();' to quit.
  5. - chDir "jalaMPW:ml:mosml:src:mosmllib:test:"; use "testmac.sml";
  6. > val it = () : unit
  7. - [opening file "testmac.sml"]
  8. [opening file "array.sml"]
  9. [opening file "auxil.sml"]
  10. > infix 1 seq
  11.   val seq = fn : 'a * 'b -> 'b
  12. > val say = fn : string -> unit
  13. > val check = fn : bool -> string
  14. > val check' = fn : (unit -> bool) -> string
  15. > val range = fn : int * int -> (int -> bool) -> bool
  16. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  17. [closing file "auxil.sml"]
  18. > val it = () : unit
  19. > val a = <array> : real Array.array
  20.   val b = <array> : real Array.array
  21.   val c = <array> : real Array.array
  22.   val test1 = "OK" : string
  23.   val test2 = "OK" : string
  24.   val d = <array> : real Array.array
  25.   val test3 = "OK" : string
  26.   val test4a = "OK" : string
  27.   val test4b = "OK" : string
  28.   val test4c = "OK" : string
  29.   val test5a = "OK" : string
  30.   val test5b = "OK" : string
  31.   val test6a = "OK" : string
  32.   val test6b = "OK" : string
  33.   val test6c = "OK" : string
  34.   val e = <array> : real Array.array
  35.   val a2v = fn : 'a Array.array -> 'a vector
  36.   val ev =
  37.     #[0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1,
  38.       0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1,
  39.       0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1,
  40.       0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1,
  41.       0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1,
  42.       0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1,
  43.       0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1,
  44.       0.1, 1.1, 44.1, 55.1, 66.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1,
  45.       2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1,
  46.       2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1,
  47.       2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1,
  48.       2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1,
  49.       2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1,
  50.       2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1, 2.1, 3.1, 4.1, 5.1, 6.1, 0.1, 1.1,
  51.       2.1, 3.1, 4.1, 5.1, ...]
  52.     : real vector
  53.   val test7 = "OK" : string
  54.   val test8a = "OK" : string
  55.   val test8b = "OK" : string
  56.   val f = #[44.1, 55.1, 66.1] : real vector
  57.   val test9 = "OK" : string
  58.   val test9a = "OK" : string
  59.   val test9b = "OK" : string
  60.   val test9c = "OK" : string
  61.   val test9d = "OK" : string
  62.   val test9e = "OK" : string
  63.   val test9f = "OK" : string
  64.   val test9g = "OK" : string
  65.   val test9h = "OK" : string
  66.   val test9i = "OK" : string
  67.   val test9j = "OK" : string
  68.   val g = <array> : real Array.array
  69.   val test10a = "OK" : string
  70.   val test10b = "OK" : string
  71.   val test10c = "OK" : string
  72.   val test10d = "OK" : string
  73.   val test10e = "OK" : string
  74.   val test10f = "OK" : string
  75.   val test10g = "OK" : string
  76.   val test10h = "OK" : string
  77.   val test11a = "OK" : string
  78.   val test11b = "OK" : string
  79.   val test11c = "OK" : string
  80.   val test11d = "OK" : string
  81.   val test11e = "OK" : string
  82.   val test11f = "OK" : string
  83.   val test12a = "OK" : string
  84.   val test12b = "OK" : string
  85.   val test12d = "OK" : string
  86.   val test12e = "OK" : string
  87.   val test13a = "OK" : string
  88.   val test13b = "OK" : string
  89.   val test13c = "OK" : string
  90.   val test13d = "OK" : string
  91.   val test13e = "OK" : string
  92.   val test13f = "OK" : string
  93.   val test13g = "OK" : string
  94.   val test13h = "OK" : string
  95.   val test13i = "OK" : string
  96.   val test13j = "OK" : string
  97.   val test13k = "OK" : string
  98.   val test13l = "OK" : string
  99.   val test13m = "OK" : string
  100.   val test13n = "OK" : string
  101.   val test15a = "OK" : string
  102.   val test15b = "OK" : string
  103.   val test15c = "OK" : string
  104.   val test15d = "OK" : string
  105.   val test15e = "OK" : string
  106.   val test15f = "OK" : string
  107.   val test15g = "OK" : string
  108.   val test15h = "OK" : string
  109.   val test16a = "OK" : string
  110.   val test16b = "OK" : string
  111.   val test16c = "OK" : string
  112.   val test16d = "OK" : string
  113.   val test16e = "OK" : string
  114.   val test16f = "OK" : string
  115.   val test16g = "OK" : string
  116. [closing file "array.sml"]
  117. [opening file "array2.sml"]
  118. [opening file "auxil.sml"]
  119. > infix 1 seq
  120.   val seq = fn : 'a * 'b -> 'b
  121. > val say = fn : string -> unit
  122. > val check = fn : bool -> string
  123. > val check' = fn : (unit -> bool) -> string
  124. > val range = fn : int * int -> (int -> bool) -> bool
  125. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  126. [closing file "auxil.sml"]
  127. > val it = () : unit
  128. > val a0 = <array2> : int Array2.array2
  129.   val a = <array2> : (int * int) Array2.array2
  130.   val test1a = "OK" : string
  131.   val test1b = "OK" : string
  132.   val test1c = "OK" : string
  133.   val test1d = "OK" : string
  134.   val test1e = "OK" : string
  135.   val test1f = "OK" : string
  136.   val test2 = "OK" : string
  137.   val test3 = "OK" : string
  138.   val test4a = "OK" : string
  139.   val test4b = "OK" : string
  140.   val test4c = "OK" : string
  141.   val test4d = "OK" : string
  142.   val test4e = "OK" : string
  143.   val test4f = "OK" : string
  144.   val test4g = "OK" : string
  145.   val test4h = "OK" : string
  146.   val test4i = "OK" : string
  147.   val test4j = "OK" : string
  148.   val test4k = "OK" : string
  149.   val test5a = "OK" : string
  150.   val test5b = "OK" : string
  151.   val test5c = "OK" : string
  152.   val test5d = "OK" : string
  153.   val test5e = "OK" : string
  154.   val test5f = "OK" : string
  155.   val test5g = "OK" : string
  156.   val test5h = "OK" : string
  157.   val test5i = "OK" : string
  158.   val test5j = "OK" : string
  159.   val test5k = "OK" : string
  160. [closing file "array2.sml"]
  161. [opening file "arraysort.sml"]
  162. > val it = () : unit
  163. > val it = () : unit
  164. > val it = () : unit
  165. > val a = <array> : real Array.array
  166. > val test1 = true : bool
  167. > val test2 = true : bool
  168. [closing file "arraysort.sml"]
  169. [opening file "bytecmac.sml"]
  170. [opening file "auxil.sml"]
  171. > infix 1 seq
  172.   val seq = fn : 'a * 'b -> 'b
  173. > val say = fn : string -> unit
  174. > val check = fn : bool -> string
  175. > val check' = fn : (unit -> bool) -> string
  176. > val range = fn : int * int -> (int -> bool) -> bool
  177. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  178. [closing file "auxil.sml"]
  179. > val it = () : unit
  180. > val test1 = "OK" : string
  181.   val test2 = "OK" : string
  182.   val test3 = "OK" : string
  183.   val test4 = "OK" : string
  184.   val test5 = "OK" : string
  185.   val test6 = "OK" : string
  186.   val test7 = "OK" : string
  187.   val test8 = "OK" : string
  188.   val test9 = "OK" : string
  189.   val test10a = "OK" : string
  190.   val test10b = "OK" : string
  191.   val test10c = "OK" : string
  192.   val test10d = "OK" : string
  193.   val test10e = "OK" : string
  194.   val test10f = "OK" : string
  195.   val test10g = "OK" : string
  196.   val test10h = "OK" : string
  197.   val test10i = "OK" : string
  198.   val test10j = "OK" : string
  199.   val test18 = "OK" : string
  200.   val test19 = "OK" : string
  201.   val test20 = "OK" : string
  202.   val test21 = "OK" : string
  203.   val test22 = "OK" : string
  204.   val test23 = "OK" : string
  205.   val test24 = "OK" : string
  206.   val test25 = "OK" : string
  207.   val test26 = "OK" : string
  208.   val test27 = "OK" : string
  209.   val test28 = "OK" : string
  210.   val test29 = "OK" : string
  211.   val test30 = "OK" : string
  212.   val test31 = "OK" : string
  213.   val test32 = "OK" : string
  214.   val test33 = "OK" : string
  215.   val test34a = "OK" : string
  216.   val test34b = "OK" : string
  217.   val test35a = "OK" : string
  218.   val test35b = "OK" : string
  219. [closing file "bytecmac.sml"]
  220. [opening file "date.sml"]
  221. [opening file "auxil.sml"]
  222. > infix 1 seq
  223.   val seq = fn : 'a * 'b -> 'b
  224. > val say = fn : string -> unit
  225. > val check = fn : bool -> string
  226. > val check' = fn : (unit -> bool) -> string
  227. > val range = fn : int * int -> (int -> bool) -> bool
  228. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  229. [closing file "auxil.sml"]
  230. > val it = () : unit
  231. This is now:                    Fri Oct 20 14:36:54 1995
  232. This is an hour from now:       Fri Oct 20 15:36:54 1995
  233. This is a day from now:         Sat Oct 21 14:36:54 1995
  234. This is a week from now:        Fri Oct 27 14:36:54 1995
  235. This is 120 days from now:      Sat Feb 17 14:36:54 1996
  236. This is 160 days from now:      Thu Mar 28 14:36:54 1996
  237. This is 200 days from now:      Tue May  7 14:36:54 1996
  238. This is 240 days from now:      Sun Jun 16 14:36:54 1996
  239. This is the epoch (UTC):        Thu Jan  1 04:00:00 1970
  240. This is the number of the day:  293
  241. This is today's weekday:        Friday
  242. This is the name of this month: October
  243. > val test1 = "OK" : string
  244.   val test2 = "OK" : string
  245. [closing file "date.sml"]
  246. [opening file "filesmac.sml"]
  247. [opening file "auxil.sml"]
  248. > infix 1 seq
  249.   val seq = fn : 'a * 'b -> 'b
  250. > val say = fn : string -> unit
  251. > val check = fn : bool -> string
  252. > val check' = fn : (unit -> bool) -> string
  253. > val range = fn : int * int -> (int -> bool) -> bool
  254. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  255. [closing file "auxil.sml"]
  256. > val it = () : unit
  257. > val test1a = "OK" : string
  258.   val test1b = "OK" : string
  259.   val test2 = "OK" : string
  260.   val test3 = "OK" : string
  261.   val test4a = "OK" : string
  262.   val test4b = "OK" : string
  263.   val test4c = "OK" : string
  264.   val test4d = "OK" : string
  265.   val test5 = "OK" : string
  266.   val test6a = "OK" : string
  267.   val test6b = "OK" : string
  268.   val test6c = "OK" : string
  269.   val test6d = "OK" : string
  270.   val test6e = "OK" : string
  271.   val test6f = "OK" : string
  272.   val test6g = "OK" : string
  273.   val test6h = "OK" : string
  274.   val test6i = "OK" : string
  275.   val test6j = "OK" : string
  276.   val test7a = "OK" : string
  277.   val test7b = "OK" : string
  278.   val test7c = "OK" : string
  279.   val test7d = "OK" : string
  280.   val test7e = "OK" : string
  281.   val test8a = "OK" : string
  282.   val test8b = "OK" : string
  283.   val test8c = "OK" : string
  284.   val test8d = "OK" : string
  285.   val test9a = "OK" : string
  286.   val test9b = "OK" : string
  287.   val test10a = "WRONG, because remove removes directories." : string
  288.   val test10b = "OK" : string
  289.   val test10c = "OK" : string
  290.   val test11a = "OK" : string
  291.   val test11b = "OK" : string
  292.   val test11c = "OK" : string
  293.   val test12a = "OK" : string
  294.   val test12b = "OK" : string
  295.   val test12c = "OK" : string
  296.   val test13a = "EXN" : string
  297.   val test13b = "WRONG" : string
  298.   val test13c = "EXN" : string
  299.   val test13d = "OK" : string
  300.   val test13e = "OK" : string
  301.   val test14 = "OK" : string
  302. [closing file "filesmac.sml"]
  303. [opening file "integer.sml"]
  304. [opening file "auxil.sml"]
  305. > infix 1 seq
  306.   val seq = fn : 'a * 'b -> 'b
  307. > val say = fn : string -> unit
  308. > val check = fn : bool -> string
  309. > val check' = fn : (unit -> bool) -> string
  310. > val range = fn : int * int -> (int -> bool) -> bool
  311. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  312. [closing file "auxil.sml"]
  313. > val it = () : unit
  314. > val test1a = "OK" : string
  315.   val test1b = "OK" : string
  316.   val test1c = "OK" : string
  317.   val test1d = "OK" : string
  318.   val test2a = "OK" : string
  319.   val test2b = "OK" : string
  320.   val test2c = "OK" : string
  321.   val test2d = "OK" : string
  322.   val test3 = "OK" : string
  323.   val test4 = "OK" : string
  324.   val test5 = "OK" : string
  325.   val test6 = "OK" : string
  326.   val test7 = "OK" : string
  327.   val test8 = "OK" : string
  328.   val test9 = "OK" : string
  329.   val test10 = "OK" : string
  330.   val test11 = "OK" : string
  331.   val test12 = "OK" : string
  332.   val chk = fn : ('a -> ''b option) -> 'a * ''b -> string
  333.   val chkScan = fn : StringCvt.radix -> (string * int -> string)
  334.   val test13a = ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"] : string list
  335.   val test13b =
  336.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  337.     : string list
  338.   val test14a = ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"] : string list
  339.   val test14b =
  340.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  341.     : string list
  342.   val test15a = ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"] : string list
  343.   val test15b =
  344.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  345.      "OK", "OK"]
  346.     : string list
  347.   val test16a = ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"] : string list
  348.   val test16b =
  349.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  350.      "OK"]
  351.     : string list
  352.   val test17a = ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"] : string list
  353.   val test17b =
  354.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  355.     : string list
  356. [closing file "integer.sml"]
  357. [opening file "list.sml"]
  358. [opening file "auxil.sml"]
  359. > infix 1 seq
  360.   val seq = fn : 'a * 'b -> 'b
  361. > val say = fn : string -> unit
  362. > val check = fn : bool -> string
  363. > val check' = fn : (unit -> bool) -> string
  364. > val range = fn : int * int -> (int -> bool) -> bool
  365. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  366. [closing file "auxil.sml"]
  367. > val it = () : unit
  368. > val v123 = [1, 2, 3] : int list
  369.   val even = fn : int -> bool
  370.   val test1 = "OK" : string
  371.   val test2 = "OK" : string
  372.   val test3 = "OK" : string
  373.   val test4 = "OK" : string
  374.   val test5 = "OK" : string
  375.   val test6 = "OK" : string
  376.   val test7 = "OK" : string
  377.   val test8 = "OK" : string
  378.   val test9 = "OK" : string
  379.   val test10 = "OK" : string
  380.   val v16 = [1, 2, 3, 4, 5, 6] : int list
  381.   val test11 = "OK" : string
  382.   val test12 = "OK" : string
  383.   val test13 = "OK" : string
  384.   val reset = fn : unit -> unit
  385.   val incrv = fn : int -> unit
  386.   val checkv = fn : unit -> string
  387.   val test14 = fn : unit -> string
  388.   val test15 = "OK" : string
  389.   val test16 = "OK" : string
  390.   val test17 = "OK" : string
  391.   val test18 = "OK" : string
  392.   val test19 = "OK" : string
  393.   val test20 = "OK" : string
  394.   val test21 = "OK" : string
  395.   val test22 = "OK" : string
  396.   val test23 = "OK" : string
  397.   val test24 = "OK" : string
  398.   val test25 = "OK" : string
  399.   val test26 = "OK" : string
  400.   val test27 = "OK" : string
  401.   val test28 = "OK" : string
  402.   val test29 = "OK" : string
  403.   val test30 = "OK" : string
  404.   val test31 = "OK" : string
  405.   val test32 = "OK" : string
  406.   val test33 = "OK" : string
  407.   val test34 = "OK" : string
  408.   val test35a = "OK" : string
  409.   val test35b = "OK" : string
  410.   val test35c = "OK" : string
  411.   val test36a = "OK" : string
  412.   val test36b = "OK" : string
  413.   val test36c = "OK" : string
  414. [closing file "list.sml"]
  415. [opening file "listpair.sml"]
  416. [opening file "auxil.sml"]
  417. > infix 1 seq
  418.   val seq = fn : 'a * 'b -> 'b
  419. > val say = fn : string -> unit
  420. > val check = fn : bool -> string
  421. > val check' = fn : (unit -> bool) -> string
  422. > val range = fn : int * int -> (int -> bool) -> bool
  423. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  424. [closing file "auxil.sml"]
  425. > val it = () : unit
  426. > val test1 = "OK" : string
  427.   val test2a = "OK" : string
  428.   val test2b = "OK" : string
  429.   val test3a = "OK" : string
  430.   val reset = fn : unit -> unit
  431.   val incrv = fn : int -> unit
  432.   val checkv = fn : unit -> string
  433.   val test3b = "OK" : string
  434.   val test4 = "OK" : string
  435.   val test5a = "OK" : string
  436.   val test5b = "OK" : string
  437.   val test5c = "OK" : string
  438.   val test5d = "OK" : string
  439.   val test5e = "OK" : string
  440. [closing file "listpair.sml"]
  441. [opening file "listsort.sml"]
  442. > val it = () : unit
  443. > val it = () : unit
  444. > val it = () : unit
  445. > val test1 = true : bool
  446.   val test2 = true : bool
  447. [closing file "listsort.sml"]
  448. [opening file "math.sml"]
  449. [opening file "auxil.sml"]
  450. > infix 1 seq
  451.   val seq = fn : 'a * 'b -> 'b
  452. > val say = fn : string -> unit
  453. > val check = fn : bool -> string
  454. > val check' = fn : (unit -> bool) -> string
  455. > val range = fn : int * int -> (int -> bool) -> bool
  456. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  457. [closing file "auxil.sml"]
  458. > val it = () : unit
  459. > val test0a = "OK" : string
  460.   val test0b = "OK" : string
  461.   val test1a = "OK" : string
  462.   val test1b = "OK" : string
  463.   val test2a = "OK" : string
  464.   val test2b = "OK" : string
  465.   val test2c = "OK" : string
  466.   val test2d = "OK" : string
  467.   val test3a = "OK" : string
  468.   val test3b = "OK" : string
  469.   val test3c = "OK" : string
  470.   val test3d = "OK" : string
  471.   val test4a = "OK" : string
  472.   val test4b = "OK" : string
  473.   val test4c = "OK" : string
  474.   val test4d = "OK" : string
  475.   val test4e = "OK" : string
  476.   val test4f = "OK" : string
  477.   val test4g = "OK" : string
  478.   val test5a = "OK" : string
  479.   val test5b = "OK" : string
  480.   val test5c = "OK" : string
  481.   val test5d = "OK" : string
  482.   val test5e = "OK" : string
  483.   val test6a = "OK" : string
  484.   val test6b = "OK" : string
  485.   val test6c = "OK" : string
  486.   val test6d = "OK" : string
  487.   val test6e = "OK" : string
  488.   val test7a = "OK" : string
  489.   val test7b = "OK" : string
  490.   val test7c = "OK" : string
  491.   val test7d = "OK" : string
  492.   val test7e = "OK" : string
  493.   val test8a = "OK" : string
  494.   val test8b = "OK" : string
  495.   val test8c = "OK" : string
  496.   val test8d = "OK" : string
  497.   val test8e = "OK" : string
  498.   val test8f = "OK" : string
  499.   val test8g = "OK" : string
  500.   val test8h = "OK" : string
  501.   val test8i = "OK" : string
  502.   val test8j = "OK" : string
  503.   val test8k = "OK" : string
  504.   val test8l = "OK" : string
  505.   val test9a = "OK" : string
  506.   val test9b = "OK" : string
  507.   val test9c = "OK" : string
  508.   val test10a = "OK" : string
  509.   val test10b = "OK" : string
  510.   val test10c = "OK" : string
  511.   val test10d = "OK" : string
  512.   val test11e = "OK" : string
  513.   val test12a = "OK" : string
  514.   val test12b = "OK" : string
  515.   val test12c = "OK" : string
  516.   val test12d = "OK" : string
  517.   val test12e = "OK" : string
  518.   val test12f = "OK" : string
  519.   val test12g = "OK" : string
  520.   val test13a = "OK" : string
  521.   val test13b = "OK" : string
  522.   val test13c = "OK" : string
  523.   val test13d = "OK" : string
  524.   val test13e = "OK" : string
  525. [closing file "math.sml"]
  526. [opening file "real.sml"]
  527. [opening file "auxil.sml"]
  528. > infix 1 seq
  529.   val seq = fn : 'a * 'b -> 'b
  530. > val say = fn : string -> unit
  531. > val check = fn : bool -> string
  532. > val check' = fn : (unit -> bool) -> string
  533. > val range = fn : int * int -> (int -> bool) -> bool
  534. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  535. [closing file "auxil.sml"]
  536. > val it = () : unit
  537. > val test1 = "OK" : string
  538.   val test2 = "OK" : string
  539.   val test3 = "OK" : string
  540.   val test4 = "OK" : string
  541.   val test5 = "OK" : string
  542.   val test6 = "OK" : string
  543.   val test7 = "OK" : string
  544.   val test8 = "OK" : string
  545.   val chk = fn : string * real -> string
  546.   val test9 =
  547.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  548.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  549.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  550.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  551.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  552.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  553.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  554.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  555.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  556.      "OK"]
  557.     : string list
  558.   val test10 =
  559.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  560.     : string list
  561. [closing file "real.sml"]
  562. [opening file "string.sml"]
  563. [opening file "auxil.sml"]
  564. > infix 1 seq
  565.   val seq = fn : 'a * 'b -> 'b
  566. > val say = fn : string -> unit
  567. > val check = fn : bool -> string
  568. > val check' = fn : (unit -> bool) -> string
  569. > val range = fn : int * int -> (int -> bool) -> bool
  570. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  571. [closing file "auxil.sml"]
  572. > val it = () : unit
  573. > val test1 = "OK" : string
  574.   val test2 = "OK" : string
  575.   val test3 = "OK" : string
  576.   val test4 = "OK" : string
  577.   val test5 = "OK" : string
  578.   val test6 = "OK" : string
  579.   val test7 = "OK" : string
  580.   val test8 = "OK" : string
  581.   val test9 = "OK" : string
  582.   val test10 = "OK" : string
  583.   val test11a = "OK" : string
  584.   val test11b = "OK" : string
  585.   val test11c = "OK" : string
  586.   val test11d = "OK" : string
  587.   val test11e = "OK" : string
  588.   val test11f = "OK" : string
  589.   val test11g = "OK" : string
  590.   val test11h = "OK" : string
  591.   val test12a = "OK" : string
  592.   val test12b = "OK" : string
  593.   val test12c = "OK" : string
  594.   val test12d = "OK" : string
  595.   val test12e = "OK" : string
  596.   val test12f = "OK" : string
  597.   val test13a = "OK" : string
  598.   val test13b = "OK" : string
  599.   val test14 = "OK" : string
  600.   val test15 = "OK" : string
  601.   val test16a = "OK" : string
  602.   val test16b = "OK" : string
  603. [closing file "string.sml"]
  604. [opening file "substring.sml"]
  605. [opening file "auxil.sml"]
  606. > infix 1 seq
  607.   val seq = fn : 'a * 'b -> 'b
  608. > val say = fn : string -> unit
  609. > val check = fn : bool -> string
  610. > val check' = fn : (unit -> bool) -> string
  611. > val range = fn : int * int -> (int -> bool) -> bool
  612. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  613. [closing file "auxil.sml"]
  614. > val it = () : unit
  615. > val test1a = "OK" : string
  616.   val test1b = "OK" : string
  617.   val test1c = "OK" : string
  618.   val test1d = "OK" : string
  619.   val test1e = "OK" : string
  620.   val test1f = "OK" : string
  621.   val test1g = "OK" : string
  622.   val test1h = "OK" : string
  623.   val test2a = "OK" : string
  624.   val test2b = "OK" : string
  625.   val test2c = "OK" : string
  626.   val test3a = "OK" : string
  627.   val test3b = "OK" : string
  628.   val test3c = "OK" : string
  629.   val test4 = "OK" : string
  630.   val test5a = "OK" : string
  631.   val test5b = "OK" : string
  632.   val test6 = "OK" : string
  633.   val test7 = "OK" : string
  634.   val test8a = "OK" : string
  635.   val test8b = "OK" : string
  636.   val test8c = "OK" : string
  637.   val test8d = "OK" : string
  638.   val test8e = "OK" : string
  639.   val test8f = "OK" : string
  640.   val test9a = "OK" : string
  641.   val test9b = "OK" : string
  642.   val test9c = "OK" : string
  643.   val test9d = "OK" : string
  644.   val test9e = "OK" : string
  645.   val test9f = "OK" : string
  646.   val test9g = "OK" : string
  647.   val test9h = "OK" : string
  648.   val test12 = "OK" : string
  649.   val test13 = "OK" : string
  650.   val test14 = "OK" : string
  651.   val finda = fn : char -> bool
  652.   val findb = fn : char -> bool
  653.   val test15 = "OK" : string
  654.   val test16 = "OK" : string
  655.   val test17 = "OK" : string
  656.   val test18 = "OK" : string
  657.   val test19 = "OK" : string
  658.   val test20 = "OK" : string
  659.   val test21 = "OK" : string
  660.   val test22a = "OK" : string
  661.   val test22b = "OK" : string
  662.   val test23 = "OK" : string
  663.   val test24 = "OK" : string
  664.   val test25 = "OK" : string
  665.   val test26a = "OK" : string
  666.   val test26b = "OK" : string
  667.   val test27a = "OK" : string
  668.   val test27b = "OK" : string
  669.   val test28 = "OK" : string
  670.   val test29a = "OK" : string
  671.   val test29b = "OK" : string
  672.   val test29c = "OK" : string
  673.   val test30a = "OK" : string
  674.   val test30b = "OK" : string
  675.   val test30c = "OK" : string
  676.   val test30d = "OK" : string
  677.   val test30e = "OK" : string
  678. [closing file "substring.sml"]
  679. [opening file "time.sml"]
  680. [opening file "auxil.sml"]
  681. > infix 1 seq
  682.   val seq = fn : 'a * 'b -> 'b
  683. > val say = fn : string -> unit
  684. > val check = fn : bool -> string
  685. > val check' = fn : (unit -> bool) -> string
  686. > val range = fn : int * int -> (int -> bool) -> bool
  687. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  688. [closing file "auxil.sml"]
  689. > val it = () : unit
  690. > val test1 = "OK" : string
  691.   val test2a = "OK" : string
  692.   val test2b = "OK" : string
  693.   val test2c = "OK" : string
  694.   val test2d = "OK" : string
  695.   val test2e = "OK" : string
  696.   val test3a = "OK" : string
  697.   val test3b = "OK" : string
  698.   val test3c = "OK" : string
  699.   val test4a = "OK" : string
  700.   val test6a = "OK" : string
  701.   val test7a = "OK" : string
  702.   val test8a = "OK" : string
  703.   val test9a = "OK" : string
  704.   val test9b = "OK" : string
  705.   val chk = fn : string * int -> string
  706.   val test10a =
  707.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  708.     : string list
  709.   val test10b = ["OK", "OK", "OK", "OK", "OK"] : string list
  710. [closing file "time.sml"]
  711. [opening file "timer.sml"]
  712. [opening file "auxil.sml"]
  713. > infix 1 seq
  714.   val seq = fn : 'a * 'b -> 'b
  715. > val say = fn : string -> unit
  716. > val check = fn : bool -> string
  717. > val check' = fn : (unit -> bool) -> string
  718. > val range = fn : int * int -> (int -> bool) -> bool
  719. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  720. [closing file "auxil.sml"]
  721. > val it = () : unit
  722.  
  723. Each line below should show roughly the same User, System, and Gc times:
  724. User: 2.535  System: 0.311  Gc: 0.000  Real: 1.850
  725. User: 2.535  System: 0.287  Gc: 0.000  Real: 2.833
  726. User: 2.536  System: 0.262  Gc: 0.000  Real: 2.800
  727. User: 2.538  System: 0.393  Gc: 0.000  Real: 2.933
  728. User: 2.535  System: 0.254  Gc: 0.000  Real: 2.783
  729. User: 2.535  System: 0.274  Gc: 0.000  Real: 2.817
  730. User: 2.533  System: 0.248  Gc: 0.000  Real: 3.783
  731. User: 2.535  System: 0.313  Gc: 0.000  Real: 1.850
  732. > val test1 = "OK" : string
  733.   val test2 = "OK" : string
  734.   val test3 = "OK" : string
  735.   val ctmr = <cpu_timer> : Timer.cpu_timer
  736.   val test4 = "OK" : string
  737. [closing file "timer.sml"]
  738. [opening file "macpath.sml"]
  739. [opening file "auxil.sml"]
  740. > infix 1 seq
  741.   val seq = fn : 'a * 'b -> 'b
  742. > val say = fn : string -> unit
  743. > val check = fn : bool -> string
  744. > val check' = fn : (unit -> bool) -> string
  745. > val range = fn : int * int -> (int -> bool) -> bool
  746. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  747. [closing file "auxil.sml"]
  748. > val it = () : unit
  749. > val test1a = "OK" : string
  750.   val test1b = "OK" : string
  751.   val test1c = "OK" : string
  752.   val test1d = "OK" : string
  753.   val test1e = "OK" : string
  754.   val test1f = "OK" : string
  755.   val test1g = "OK" : string
  756.   val test1h = "OK" : string
  757.   val test1i = "OK" : string
  758.   val test1j = "OK" : string
  759.   val test1k = "OK" : string
  760.   val test1l = "OK" : string
  761.   val test1m = "OK" : string
  762.   val test1n = "OK" : string
  763.   val test2a = "OK" : string
  764.   val test2b = "OK" : string
  765.   val test2c = "OK" : string
  766.   val test2d = "OK" : string
  767.   val test2e = "OK" : string
  768.   val test2f = "OK" : string
  769.   val test2g = "OK" : string
  770.   val test2h = "OK" : string
  771.   val test2i = "OK" : string
  772.   val test2j = "OK" : string
  773.   val test2k = "OK" : string
  774.   val test2l = "OK" : string
  775.   val test2m = "OK" : string
  776.   val test2n = "OK" : string
  777.   val test2o = "OK" : string
  778.   val test2p = "OK" : string
  779.   val test3b = "OK" : string
  780.   val test3c = "OK" : string
  781.   val test3d = "OK" : string
  782.   val test3e = "OK" : string
  783.   val test3f = "OK" : string
  784.   val test3g = "OK" : string
  785.   val test3h = "OK" : string
  786.   val test4a = "OK" : string
  787.   val test4b = "OK" : string
  788.   val test5a = "OK" : string
  789.   val test6a = "OK" : string
  790.   val test6b = "OK" : string
  791.   val test7a = "OK" : string
  792.   val test7b = "OK" : string
  793.   val test7c = "OK" : string
  794.   val test8a = "OK" : string
  795.   val test8b = "OK" : string
  796.   val test8c = "OK" : string
  797.   val test9a = "OK" : string
  798.   val test9b = "OK" : string
  799.   val test10a = "OK" : string
  800.   val test10b = "OK" : string
  801.   val test10c = "WRONG" : string
  802.   val test11a = "OK" : string
  803.   val test11b = "DIFFERENT" : string
  804.   val test12 = "OK" : string
  805.   val test13 = "OK" : string
  806.   val test14 = "OK" : string
  807.   val test15 = "OK" : string
  808.   val test16 = "OK" : string
  809.   val test17 = "OK" : string
  810.   val test18 = "OK" : string
  811.   val test19 = "OK" : string
  812. [closing file "macpath.sml"]
  813. [opening file "vector.sml"]
  814. [opening file "auxil.sml"]
  815. > infix 1 seq
  816.   val seq = fn : 'a * 'b -> 'b
  817. > val say = fn : string -> unit
  818. > val check = fn : bool -> string
  819. > val check' = fn : (unit -> bool) -> string
  820. > val range = fn : int * int -> (int -> bool) -> bool
  821. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  822. [closing file "auxil.sml"]
  823. > val it = () : unit
  824. > val a = #[0, 1, 2, 3, 4, 5, 6] : int vector
  825.   val b = #[44, 55, 66] : int vector
  826.   val c = #[0, 1, 2, 3, 4, 5, 6] : int vector
  827.   val test1 = "OK" : string
  828.   val test2 = "OK" : string
  829.   val d =
  830.     #[0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2,
  831.       3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5,
  832.       6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1,
  833.       2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4,
  834.       5, 6, 0, 1]
  835.     : int vector
  836.   val test3 = "OK" : string
  837.   val test4a = "OK" : string
  838.   val test4b = "OK" : string
  839.   val test4c = "OK" : string
  840.   val test5 = "OK" : string
  841.   val test6a = "OK" : string
  842.   val test6b = "OK" : string
  843.   val test6c = "OK" : string
  844.   val e =
  845.     #[0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2,
  846.       3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5,
  847.       6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1,
  848.       2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4,
  849.       5, 6, 0, 1, 44, 55, 66, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1,
  850.       2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4,
  851.       5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0,
  852.       1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3,
  853.       4, 5, 6, 0, 1, 2, 3, 4, 5, ...]
  854.     : int vector
  855.   val test7 = "OK" : string
  856.   val test8 = "OK" : string
  857.   val f = #[44, 55, 66] : int vector
  858.   val test9 = "OK" : string
  859.   val test9a = "OK" : string
  860.   val test9b = "OK" : string
  861.   val test9c = "OK" : string
  862.   val test9d = "OK" : string
  863.   val test9e = "OK" : string
  864.   val test9f = "OK" : string
  865.   val test9g = "OK" : string
  866.   val test9h = "OK" : string
  867.   val test9i = "OK" : string
  868. [closing file "vector.sml"]
  869. [opening file "word.sml"]
  870. [opening file "auxil.sml"]
  871. > infix 1 seq
  872.   val seq = fn : 'a * 'b -> 'b
  873. > val say = fn : string -> unit
  874. > val check = fn : bool -> string
  875. > val check' = fn : (unit -> bool) -> string
  876. > val range = fn : int * int -> (int -> bool) -> bool
  877. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  878. [closing file "auxil.sml"]
  879. > val it = () : unit
  880. > val test1 = "OK" : string
  881.   val test3 = "OK" : string
  882.   val test5a = "OK" : string
  883.   val test5b = "OK" : string
  884.   val test6a = "OK" : string
  885.   val test6b = "OK" : string
  886.   val test7a = "OK" : string
  887.   val test7b = "OK" : string
  888.   val test8a = "OK" : string
  889.   val test8b = "OK" : string
  890.   val maxposint = 1073741823 : int
  891.   val maxnegint = ~1073741824 : int
  892.   val pwr2 = fn : int -> int
  893.   val rwp = fn : int -> int -> int
  894.   val test9a = "OK" : string
  895.   val test9b = "OK" : string
  896.   val test9c = "OK" : string
  897.   val test9d = "OK" : string
  898.   val test9e = "OK" : string
  899.   val test9f = "OK" : string
  900.   val test9g = "OK" : string
  901.   val test9h = "OK" : string
  902.   val test10a = "OK" : string
  903.   val test10b = "OK" : string
  904.   val test10c = "OK" : string
  905.   val test10d = "OK" : string
  906.   val test11a = "OK" : string
  907.   val test11b = "OK" : string
  908.   val test11c = "OK" : string
  909.   val test11d = "OK" : string
  910.   val test11e = "OK" : string
  911.   val test11f = "OK" : string
  912.   val test11g = "OK" : string
  913.   val test11h = "OK" : string
  914.   val test11i = "OK" : string
  915.   val test12a = "OK" : string
  916.   val test12b = "OK" : string
  917.   val test12c = "OK" : string
  918.   val test12d = "OK" : string
  919.   val test12e = "OK" : string
  920.   val test12f = "OK" : string
  921.   val test12g = "OK" : string
  922.   val test12h = "OK" : string
  923.   val test12i = "OK" : string
  924.   val test12j = "OK" : string
  925.   val test12k = "OK" : string
  926.   val test12l = "OK" : string
  927.   val test12m = "OK" : string
  928.   val test12n = "OK" : string
  929.   val test12o = "OK" : string
  930.   val test12p = "OK" : string
  931.   val test12q = "OK" : string
  932.   val test12r = "OK" : string
  933.   val test12s = "OK" : string
  934.   val chk = fn : ('a -> Word.word option) -> 'a * int -> string
  935.   val chkScan = fn : StringCvt.radix -> (string * int -> string)
  936.   val test13a = ["OK", "OK"] : string list
  937.   val test13b =
  938.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  939.     : string list
  940.   val test14a = ["OK", "OK"] : string list
  941.   val test14b =
  942.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  943.     : string list
  944.   val test15a = ["OK", "OK"] : string list
  945.   val test15b =
  946.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  947.      "OK", "OK"]
  948.     : string list
  949.   val test16a = ["OK", "OK"] : string list
  950.   val test16b =
  951.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  952.      "OK"]
  953.     : string list
  954.   val test17a = ["OK", "OK"] : string list
  955.   val test17b =
  956.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  957.     : string list
  958. [closing file "word.sml"]
  959. [opening file "word8.sml"]
  960. [opening file "auxil.sml"]
  961. > infix 1 seq
  962.   val seq = fn : 'a * 'b -> 'b
  963. > val say = fn : string -> unit
  964. > val check = fn : bool -> string
  965. > val check' = fn : (unit -> bool) -> string
  966. > val range = fn : int * int -> (int -> bool) -> bool
  967. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  968. [closing file "auxil.sml"]
  969. > val it = () : unit
  970. > val test1 = "OK" : string
  971.   val test2 = "OK" : string
  972.   val test3 = "OK" : string
  973.   val test4 = "OK" : string
  974.   val test5a = "OK" : string
  975.   val test5b = "OK" : string
  976.   val test5c = "OK" : string
  977.   val test6a = "OK" : string
  978.   val test6b = "OK" : string
  979.   val test6c = "OK" : string
  980.   val test7a = "OK" : string
  981.   val test7b = "OK" : string
  982.   val test7c = "OK" : string
  983.   val test8a = "OK" : string
  984.   val test8b = "OK" : string
  985.   val test8c = "OK" : string
  986.   val test9a = "OK" : string
  987.   val test9b = "OK" : string
  988.   val test9c = "OK" : string
  989.   val test9d = "OK" : string
  990.   val test9e = "OK" : string
  991.   val test9f = "OK" : string
  992.   val test9g = "OK" : string
  993.   val test9h = "OK" : string
  994.   val test9i = "OK" : string
  995.   val test10a = "OK" : string
  996.   val test10b = "OK" : string
  997.   val test10c = "OK" : string
  998.   val test10d = "OK" : string
  999.   val test10e = "OK" : string
  1000.   val test11a = "OK" : string
  1001.   val test11b = "OK" : string
  1002.   val test11c = "OK" : string
  1003.   val test11d = "OK" : string
  1004.   val test11e = "OK" : string
  1005.   val test11f = "OK" : string
  1006.   val test12a = "OK" : string
  1007.   val test12b = "OK" : string
  1008.   val test12c = "OK" : string
  1009.   val test12d = "OK" : string
  1010.   val test12e = "OK" : string
  1011.   val test12f = "OK" : string
  1012.   val test12g = "OK" : string
  1013.   val test12h = "OK" : string
  1014.   val test12i = "OK" : string
  1015.   val test12j = "OK" : string
  1016.   val test12k = "OK" : string
  1017.   val test12l = "OK" : string
  1018.   val test12m = "OK" : string
  1019.   val test12n = "OK" : string
  1020.   val test12o = "OK" : string
  1021.   val test12p = "OK" : string
  1022.   val test12q = "OK" : string
  1023.   val chk = fn : ('a -> Word8.word option) -> 'a * int -> string
  1024.   val chkScan = fn : StringCvt.radix -> (string * int -> string)
  1025.   val test13a = ["OK", "OK"] : string list
  1026.   val test13b =
  1027.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1028.     : string list
  1029.   val test14a = ["OK", "OK"] : string list
  1030.   val test14b =
  1031.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1032.     : string list
  1033.   val test15a = ["OK", "OK"] : string list
  1034.   val test15b =
  1035.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1036.      "OK", "OK"]
  1037.     : string list
  1038.   val test16a = ["OK", "OK"] : string list
  1039.   val test16b =
  1040.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1041.      "OK"]
  1042.     : string list
  1043.   val test17a = ["OK", "OK"] : string list
  1044.   val test17b =
  1045.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1046.     : string list
  1047. [closing file "word8.sml"]
  1048. [opening file "word8array.sml"]
  1049. [opening file "auxil.sml"]
  1050. > infix 1 seq
  1051.   val seq = fn : 'a * 'b -> 'b
  1052. > val say = fn : string -> unit
  1053. > val check = fn : bool -> string
  1054. > val check' = fn : (unit -> bool) -> string
  1055. > val range = fn : int * int -> (int -> bool) -> bool
  1056. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1057. [closing file "auxil.sml"]
  1058. > val it = () : unit
  1059. > val i2w = fn : int -> Word8.word
  1060.   val w127 = <word> : Word8.word
  1061.   val a = <array> : Word8Array.array
  1062.   val b = <array> : Word8Array.array
  1063.   val c = <array> : Word8Array.array
  1064.   val test1 = "OK" : string
  1065.   val test2 = "OK" : string
  1066.   val d = <array> : Word8Array.array
  1067.   val test3 = "OK" : string
  1068.   val test4a = "OK" : string
  1069.   val test4b = "OK" : string
  1070.   val test4c = "OK" : string
  1071.   val test5a = "OK" : string
  1072.   val test5b = "OK" : string
  1073.   val test6a = "OK" : string
  1074.   val test6b = "OK" : string
  1075.   val test6c = "OK" : string
  1076.   val e = <array> : Word8Array.array
  1077.   val a2v = fn : Word8Array.array -> Word8Vector.vector
  1078.   val ev = <vector> : Word8Vector.vector
  1079.   val test7 = "OK" : string
  1080.   val test8a = "OK" : string
  1081.   val test8b = "OK" : string
  1082.   val f = <vector> : Word8Vector.vector
  1083.   val test9 = "OK" : string
  1084.   val test9a = "OK" : string
  1085.   val test9b = "OK" : string
  1086.   val test9c = "OK" : string
  1087.   val test9d = "OK" : string
  1088.   val test9e = "OK" : string
  1089.   val test9f = "OK" : string
  1090.   val test9g = "OK" : string
  1091.   val test9h = "OK" : string
  1092.   val test9i = "OK" : string
  1093.   val g = <array> : Word8Array.array
  1094.   val test10a = "OK" : string
  1095.   val test10b = "OK" : string
  1096.   val test10c = "OK" : string
  1097.   val test10d = "OK" : string
  1098.   val test10e = "OK" : string
  1099.   val test10f = "OK" : string
  1100.   val test10g = "OK" : string
  1101.   val test10h = "OK" : string
  1102.   val test11a = "OK" : string
  1103.   val test11b = "OK" : string
  1104.   val test11c = "OK" : string
  1105.   val test11d = "OK" : string
  1106.   val test11e = "OK" : string
  1107.   val test11f = "OK" : string
  1108. [closing file "word8array.sml"]
  1109. [opening file "word8vector.sml"]
  1110. [opening file "auxil.sml"]
  1111. > infix 1 seq
  1112.   val seq = fn : 'a * 'b -> 'b
  1113. > val say = fn : string -> unit
  1114. > val check = fn : bool -> string
  1115. > val check' = fn : (unit -> bool) -> string
  1116. > val range = fn : int * int -> (int -> bool) -> bool
  1117. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1118. [closing file "auxil.sml"]
  1119. > val it = () : unit
  1120. > val a = <vector> : Word8Vector.vector
  1121.   val b = <vector> : Word8Vector.vector
  1122.   val c = <vector> : Word8Vector.vector
  1123.   val test1 = "OK" : string
  1124.   val test2 = "OK" : string
  1125.   val d = <vector> : Word8Vector.vector
  1126.   val test3 = "OK" : string
  1127.   val test4a = "OK" : string
  1128.   val test4b = "OK" : string
  1129.   val test4c = "OK" : string
  1130.   val test5 = "OK" : string
  1131.   val test6a = "OK" : string
  1132.   val test6b = "OK" : string
  1133.   val test6c = "OK" : string
  1134.   val e = <vector> : Word8Vector.vector
  1135.   val test7 = "OK" : string
  1136.   val test8 = "OK" : string
  1137.   val f = <vector> : Word8Vector.vector
  1138.   val test9 = "OK" : string
  1139.   val test9a = "OK" : string
  1140.   val test9b = "OK" : string
  1141.   val test9c = "OK" : string
  1142.   val test9d = "OK" : string
  1143.   val test9e = "OK" : string
  1144.   val test9f = "OK" : string
  1145.   val test9g = "OK" : string
  1146.   val test9h = "OK" : string
  1147.   val test9i = "OK" : string
  1148. [closing file "word8vector.sml"]
  1149. > val it = () : unit
  1150.